Operational semantics of DiCons, a formal language for developing Internet applications

DiCons is a dedicated language designed to be able to develop Internet applications more efficiently and with better quality. We focus on applications in the area of distributed consensus: several users strive to reach a common goal. Formal methods help to improve quality, and allow proving properties and correctness. In this paper we develop a Plotkin-style operational semantics.